Métodos computacionales en álgebra para informáticos. Matemática discreta y lógica. (1)
Ordóñez,C, Ruiz, J.F. y García-Muñoz,M.A. Editorial: Servicio de Publicaciones de la Universidad de Jaén. 2º Edición, 2020
ERRATAS
Matemática discreta para la computación. Nociones teóricas y problemas resueltos. (2)
García-Muñoz, M.A. Eitorial: Servicio de Publicaciones de la Universidad de Jaén. 2º Edición revisada, 2015
Temario | Contenidos | Capítulos |
---|---|---|
Previos programa Mathematica. | EL ENTORNO DE TRABAJO: MATHEMATICA. ARITMÉTICA BÁSICA. VARIABLES Y FUNCIONES. LISTAS: TABLAS, MATRICES Y VECTORES. PROGRAMACIÓN EN MATHEMATICA. |
Capítulo 1 del manual de prácticas [1]. Capítulo 2 del manual de prácticas [1]. Capítulo 3 del manual de prácticas [1]. Capítulo 4 del manual de prácticas [1]. |
Tema 1. Lógica. | ENUNCIADOS, CONECTIVAS Y TABLAS DE VERDAD. TAUTOLOGÍAS, CONTRADICCIONES, FORMAS NORMALES. CONJUNTO ADECUADOS DE CONECTIVAS, EQUIVALENCIAS LÓGICAS E IMPLICACIONES LÓGICAS Y ARGUMENTACIONES. |
Capítulo 5 del manual de prácticas [1]. Capítulo 6 del manual de prácticas [1]. |
Tema 2. Conjuntos y aplicaciones. | CONCEPTOS BÁSICOS, LAS PARTES DE UN CONJUNTO, APLICACIONES, RELACIONES BINARIAS. CONJUNTOS ORDENADOS. |
Capítulo 7 del manual de prácticas [1]. Capítulo 8 del manual de prácticas [1]. |
Tema 3. Álgebra de Boole y funciones booleanas. | RETÍCULOS, ÁLGEBRAS DE BOOLE, FUNCIONES BOOLEANAS: FORMAS CANÓNICAS. APLICACIONES: CIRCUITOS BOOLEANOS. |
Capítulo 9 del manual de prácticas [1]. Capítulo 10 del manual de prácticas [1]. |
Tema 4. Introducción a la teoría de números: Aritmética modular. | NÚMEROS NATURALES Y ENTEROS. DIVISIBILIDAD Y CONGRUENCIAS. APLICACIONES DEL TEOREMA DE BEZOUT. SISTEMAS DE NUMERACIÓN. |
Capítulo 11 del manual de prácticas [1]. Capítulo 12 del manual de prácticas [1]. |
Tema 5. Nociones de complejidad computacional. | ALGORITMOS. FUNCIONES DE CRECIMIENTO. COMPLEJIDAD ALGORÍTMICA. LA CLASE P Y NP. |